Abschluss (Closure) Begriff aus der Mathematik, der auch in der relationalen Datenbanktheorie eine Rolle spielt. Der Abschluss einer Menge von Abhängigkeiten (funktionale oder mehrwertige) ist die Menge aller Abhängigkeiten, die sich nach den Armstrongschen Regeln daraus ableiten lassen.